1. A Semidiscrete Version of the Citti-Petitot-Sarti Model as a Plausible Model for Anthropomorphic Image Reconstruction and Pattern Recognition /
پدیدآورنده : Dario Prandi, Jean-Paul Gauthier.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Image reconstruction-- Mathematical models.,Pattern perception-- Mathematical models.,Complex analysis, complex variables.,Computer vision.,Mathematical modelling.,Pattern perception-- Mathematical models.,TECHNOLOGY & ENGINEERING-- Mechanical.
رده :
TA1637
.
5
2. A class of algorithms for distributed constraint optimization /
پدیدآورنده : Adrian Petcu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Constraint programming (Computer science),COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Constraint programming (Computer science)
رده :
QA76
.
612
.
P48
2009eb
3. A course in computational number theory
پدیدآورنده : / David Bressoud, Stan Wagon
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Number theory,Algorithms
رده :
QA241
.
B788
2000
4. A course in computational number theory
پدیدآورنده : Bressoud, David M.,0591-,David Bressoud, Stan Wagon
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Number theory,، Algorithms
رده :
QA
241
.
B788
5. A course in computational number theory
پدیدآورنده : / David Bressoud, Stan Wagon
کتابخانه: کتابخانه مرکزی دانشگاه ایلام (ایلام)
موضوع : Number theory,Algorithms
رده :
QA241
.
B788
2000
6. A course in computational number theory
پدیدآورنده : Bressoud, David M., 0591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Number theory,، Algorithms
رده :
QA
241
.
B7
7. A course in computational number theory
پدیدآورنده : Bressoud, David M.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه گلستان (گلستان)
موضوع : ، Number theory,، Algorithms
رده :
QA
241
.
B788
8. A graph-theoretic approach to enterprise network dynamics /
پدیدآورنده : Horst Bunke [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Business enterprises-- Communication systems.,Graph theory-- Data processing.,Local area networks (Computer networks),Local area networks (Computer networks)-- Mathematical models.,Business enterprises-- Communication systems.,COMPUTERS-- Data Transmission Systems-- Broadband.,COMPUTERS-- Data Transmission Systems-- Wireless.,COMPUTERS-- Networking-- Local Area Networks (LANs),Graph theory-- Data processing.,Informatique.,Local area networks (Computer networks),Local area networks (Computer networks)-- Mathematical models.
رده :
TK5105
.
7
.
G735
2007eb
9. AQA A level Computer Science.
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science, Problems, exercises, etc.,Computer science.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
QA76
10. Accuracy and stability of numerical algorithms
پدیدآورنده : Higham, Nicholas J.,Nicholas J. Higham
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Computer algorithms,Data processing ، Numerical analysis
رده :
QA297
.
H53
2002eb
11. Accurate and robust spectral testing with relaxed instrumentation requirements /
پدیدآورنده : Yuming Zhuang, Degang Chen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Measuring instruments-- Testing.,Signal theory (Telecommunication),Circuits & components.,Electronics engineering.,Measuring instruments-- Testing.,Signal theory (Telecommunication),TECHNOLOGY & ENGINEERING-- Mechanical.
رده :
TK7868
.
D5
12. Adaptive Signal Models
پدیدآورنده : by Michael M. Goodwin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer engineering.,Engineering.,Multimedia systems.
13. Adaptive critic control with robust stabilization for uncertain nonlinear systems /
پدیدآورنده : Ding Wang, Chaoxu Mu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Adaptive control systems.,Machine learning.,Adaptive control systems.,Automatic control engineering.,Machine learning.,Optimization.,Robotics.,TECHNOLOGY & ENGINEERING-- Engineering (General)
رده :
TJ217
.
W36
2019eb
14. Advanced structural damage detection
پدیدآورنده : Tadeusz Stepinski, Tadeusz Uhl, Wieslaw Staszewski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Materials-- Testing.,Structural failures.,Structural health monitoring.
15. Advanced topics in fuzzy graph theory /
پدیدآورنده : John N. Mordeson, Sunil Mathew.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Fuzzy graphs.,Fuzzy graphs.
رده :
QA166
.
175
.
M67
2019
16. Advanced wireless communications & Internet :
پدیدآورنده : Savo G. Glisic
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Internet,Wireless communication systems-- Technological innovations
رده :
TK5103
.
2
.
G548
2011
17. Advances in Cryptology -- CRYPTO '91 :
پدیدآورنده : edited by Joan Feigenbaum.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Data encryption (Computer science),Ordinateurs -- Accès -- Contrôle -- Congrès.
18. Advances in Cryptology Proceedings of Crypto 82.
پدیدآورنده : Chaum, David
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
رده :
QA76
.
9
.
A25
C438
2013
19. Advances in Steiner Trees
پدیدآورنده : edited by Ding-Zhu Du, J. M. Smith, J. H. Rubinstein.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algorithms.,Combinatorics.,Information theory.,Mathematical optimization.,Mathematics.
20. Advances in cryptology -- EUROCRYPT 2013 :
پدیدآورنده : Thomas Johansson, Phong Q. Nguyen (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial Intelligence.,Computer Security.,Data encryption (Computer science) -- Congresses.
رده :
QA76
.
9
.
A25
T466
2013